document type definition